Fuel for cars used to be called ethol.