Devices descending from K202037

2 later devices reach imani i2 through their predicates, nearest generation first.