These aren't really "identities" so much as they're "algebra"