Two examples from lattice theory: is every lattice with unique complements distributive? [no] is every distributive algebraic lattice isomorphic to the lattice of congruences of a lattice? [no] See http://www.ams.org/notices/200706/tx070600696p.pdf