assert costs are positive