Proper congruences do not imply a modular congruence lattice M. G. Stone — 1971 Colloquium Mathematicae