2 later devices reach 32HL512D, 31HN713D, 32HQ713D through their predicates, nearest generation first.