bring in the trees and fly to tree functionality for review of the negation problem