Note that if your language has non-precise garbage collection, having parent pointers guarantees that any spurious pointer into any node on the tree will keep t

Note that if your language has non-precise garbage collection, having parent pointers guarantees that any spurious pointer into any node on the tree will keep the entire tree alive.