Cf_ordered
.
Total_T