Finitely Based Congruence Varieties

We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.