Devices descending from K172023

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