Working out the identities and such