2 later devices reach Virtuoso System for Ihc ER (Spi) through their predicates, nearest generation first.