Which still doesn't apply, when Linux based servers are about 50% of server market.
https://www.t4.ai/industry/server-operating-system-market-sh...
Come on, everyone knows the old trick of using paid shipments to pretend Microsoft have a large share of the server market. It conveniently discounts all these free installations of Linux.
You maybe had it confused with the universal quantifier ∀ in a math/logic context, but it's not the same :-)