Algebraic Identities
Active — user can report