Abstraction tree

Comments