Phlogiston theory states that "phlogisticated" substances are substances that contain phlogiston and "dephlogisticate" when burned. Some physicists interpreted hydrogen as pure phlogiston. His ideas made the phlogiston theory of combustion obsolete. Faced with inconsistent experimental results, Priestley employed phlogiston theory. The phlogiston theory was proposed in 1667 by Johann Joachim Becher. Priestley also described the process of respiration in terms of phlogiston theory. Her edits and contributions led to Lavoisier's refutation of the theory of phlogiston. He concluded that the commonly accepted phlogiston theory was false. He recognized and named oxygen (1778) and hydrogen (1783), and opposed the phlogiston theory. Cavendish, as indicated above, used the language of the old phlogiston theory in chemistry. The term phlogiston itself was not something that Stahl invented. Stahl's first definition of phlogiston first appeared in his "Zymotechnia fundamentalis", published in 1697. Paulze translated various works about phlogiston into French. One exception is the phlogiston of the Spelljammer setting. Johann Juncer also created a very complete picture of phlogiston.