R -> X -> T -> Y -> M -> F # Considered complete

R -> I -> T -> A -> X -> Y # Candidate for pruning