Devices descending from K230663

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