2 later devices reach Quixx Posterior Restorative through their predicates, nearest generation first.