Topic identity trees Logical System default Uniqueness Book traversal links for Tree Tutorial 5: Identity Rules ‹ Tree Predicate Exercises: Roll your own Up Uniqueness ›