 The conjecture that every distributive lattice is a congruence lattice is true for all distributive lattices with at most ℵ1 compact elements, but F. Wehrung provided a counterexample for distributive lattices with ℵ2 compact elements using a construction based on Kuratowski's free set theorem.We denote by Con "A" the congruence lattice of an algebra "A", that is, the lattice of all congruences of "A" under inclusion.The following is a universal-algebraic triviality.