Laws of  operations