What should carbon cost?