The high temperature oxidation of tetrafluoroethylene