   The story has it that Leśniewski discovered this axiom, his efforts fortified by eating bars of chocolate, while sitting on a bench in Warsaw’s Saxon Garden. Symbolically, using a somewhat more modern symbolism than Leśniewski’s, but borrowing his upper corners for marking quantifier scope, the axiom becomes