I was going to say, Dave did a great job covering the issue, despite the fact that he hasn't worked on Windows kernel for a lot time (10y+, if not for 20y+). But in general, there is a lot of "parroting" going on from people who know very little or specialists in this field.