3 later devices reach Envision ultrasound pad and cover through their predicates, nearest generation first.