Title: Complications in making first-order logic nice
Subjects: Algebraic logic