Although -> has a similar form to its closure --> it requires further constraints that are inexpressible in X .
we need to to be able to identify ancestors that are rightmost and descendants that are leftmost.