2 later devices reach Dive and Shallow and Grand Dive through their predicates, nearest generation first.