Second-order logic (explained in plain English)