Epimorphisms in cylindric algebras and definability in finite variable logic