Algebraic identities