Projective distributive lattices.