2 later devices reach Koko Peak KP; Koko Peak KP+ through their predicates, nearest generation first.