Conditional identities