You just tax on CO2e (CO2 equivalent) for any greenhouse gas emission. Same way emission accounting is already being done.