3 later devices reach Destiknee Total Knee System through their predicates, nearest generation first.