Amended binary expression tree specification.