3 later devices reach Pollogen STOP U Model UXV Device through their predicates, nearest generation first.