Revised weight-cost assertions