A Vacuous Implication

[Anonymous]

AMERICAN MATHEMATICAL MONTHLY, 2021; 128 (2): 183