3 later devices reach Thermedx Fluid Managment System through their predicates, nearest generation first.