Though I have no knowledge of the $40/tonne mining cost, average cost of $68 means just that - average. So perhaps there is a $40 figure.