Semilattice/examples