2.2  Composition, Identities, and Inverses