3 later devices reach Dermillume Red, Model HR1000 through their predicates, nearest generation first.