It is empirically true that none of the industry discourse around leaderboards and benchmarks uses any of the techniques this article discusses.