3 later devices reach Tripore, Models HA, BP90, BP15 through their predicates, nearest generation first.