3 later devices reach Physiotech 4000 or Norodyn 8000 through their predicates, nearest generation first.