Tree identity

by Jeroen Broersma