made reaching def lattice *monotonic*