3 later devices reach Smart Pain Reliever, Model LT5019 through their predicates, nearest generation first.