3 later devices reach Specialty Assayed Control-1 through their predicates, nearest generation first.