The language of first-order logic | lit.salon