Stav dette: Lattice Theory: