nutcracker.util.algebraic.laws