lattice theories