Devices descending from K232459

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