Second-order logic (explained in plain English) | Heykuki News