2 later devices reach Aquilion Serve (TSX-307A/1) V1.3 through their predicates, nearest generation first.