New laws for lattices bounded below/above.