Duality And Definability In First Order Logic by Michael Makkai