Fleshing out spec for Lattice