I think we should look at the correct operation T on the set of all computer scientists. If T is an operation that restricts the set to computer scientists in t

I think we should look at the correct operation T on the set of all computer scientists. If T is an operation that restricts the set to computer scientists in the field of theoretical computer science (TCS), then the opposite seems to hold as mentioned in this post, which talks about TCS math being more rigorous than applied math: https://windowsontheory.org/2014/10/12/applied-mathematicians-vs-theoretical-computer-scientists/ https://windowsontheory.org/2014/10/12/applied-mathematician... If, loosely speaking, T maps you to 'average computer scientist', then the situation is different. And so on. So depending on the type of T, subset or groups of computer scientists or metrics you are looking at, Lamport's observations hold water.