3 later devices reach Jansen-Anderson Insemination Set through their predicates, nearest generation first.