First-order logic revisited | lit.salon