2 later devices reach Phoresor II (TM), Model PM700 through their predicates, nearest generation first.