Do I really need to explain to you how the statement that Google has laid off 12,000 expert leetcoders is false and borders on farce?

They probably mean all 12000 of them are not leetcoders.