Cross tree implies