Devices descending from K231225

3 later devices reach EConsole1 through their predicates, nearest generation first.