Devices descending from K230534

3 later devices reach BriefCase-Quantification through their predicates, nearest generation first.