Add proofs of identity laws