Skills to be acquired in this tutorial:
To become familiar with the new rules for predicate logic trees with identity.
It is possible to use trees with formulas containing identity. Really there are two different ways to implement it: either there are two new rules, or there is one new rule and a new way of closing a branch from a single formula. Both will be described.