Uniformity of congruences in coherent varieties
An algebra is uniform if for each , every two classes of have the same cardinality. It was shown by W. Taylor that coherent varieties need not be uniform (and vice versa). We show that every coherent variety having transferable congruences is uniform.