> “the top tier of engineers that are 10x more productive than the average”
10x engineers are not 10x the average, they're 10x the median. And they probably know the difference.
I would guess that 1-5% of engineers are 10x the median, while less than 0.1% or so are 10x the average.