Reducing first-order logic to Df 3 , free algebras . Hajnal Andréka and István Németi