On the theory of definability in first-order logic | lit.salon