Text this: Semimodular lattices :