3 later devices reach Gyrus Amci PK Button Electrode through their predicates, nearest generation first.