Devices descending from K092584

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