Yes, but I was commenting about the idea of a "carbon tax" on aviation fuel.

Now a lead tax might be something to think about if the non-leaded fuel costs more for some reason, lead being more of a concern than carbon in this instance. Tax the lead to make it the more expensive option.