And then coal mining will be highly paid work, as it should be.