Devices descending from K180838

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