Implications on a Lattice