Invariants (equals)