2 later devices reach The Hammertoe Correction System through their predicates, nearest generation first.