https://123dok.net/document/zkw0odg1-congruence-lattices-of-free-lattices-non-distributive-varieties.html