Kevin Buzzard is famous. You’re pedantically misinterpreting my comment to feel clever.

You have nothing more to make of my comment because you don’t care to consider the actual problem here.