lattice_agreement