some algebraic laws