2 later devices reach Consure Stool Management System through their predicates, nearest generation first.