another explicit require(lattice)