2 later devices reach Crystalsert Delivery System through their predicates, nearest generation first.