I've added three problems involving identity to the homework and highlighted one of them for you to turn in (so there are total of 3 problems, rather than 2 due for tomorrow's homework.)

After working some more trees, we'll introduce Predicate logic derivations.