Fix identity and laws