2 later devices reach Traxcess .007 Mini Guidewire through their predicates, nearest generation first.