[fragmede]

One of those 9,950/10,000 employees would have figured out that better way. Size matters when there are multiple orders of magnitude of difference.

[verve_rat]

Sure, one of them would have figured it out. But then they would spend the next year trying to get managers to listen and would eventually quit out of frustration.

Counterfactuals are fun!