Within Lattice Completionists