Algebraic laws