3 later devices reach Readi-Strand, Model Psstrand through their predicates, nearest generation first.