First-order logic | lit.salon