Identities, Inverses, Symmetry, etc.