THEORY OF
IDENTITIES