Lattice Gemar

>