The artificial vacuum was first produced in 1643 by Italian scientist Evangelista Torricelli and further developed by German scientist Otto von Guericke with his Magdeburg hemispheres. Guerike's demonstration was documented by Gaspar Schott, in a book that was read by Robert Boyle. Boyle and his assistant Robert Hooke improved Guericke's air pump design and built their own. From this, through various experiments, they formulated what is called Boyle's law, which states that the volume of a body of an ideal gas is inversely proportional to its pressure. Soon Jacques Charles formulated Charles' Law, which states that the volume of a gas at a constant pressure is proportional to its temperature. Boyle's and Charles' Laws were combined into the ideal gas law.