Comments
Use assert to check the identities