Math.Lattices.Internal