TERM-P.
Equality of symbolic attacks.
Equality of expressions.