Complications in making first-order logic nice | lit.salon