Agreed. Carbon pricing works via substitution effects: carbon-intensive goods become relatively more expensive so people substitute towards less carbon-intensive goods, all other things equal. Tax revenue hypothecation hardly ever makes sense anyway, as tax revenue is fungible.