Duality and definability in first order logic by Michael Makkai, Mihály Makkai