The real explanation of the phenomena of suction was not arrived at until the revival of learning in the seventeenth century. Then Torricelli, the pupil of Galileo, demonstrated that the word suction, as commonly applied, had no proper application; and that the phenomena hitherto ascribed to it were really due to the pressure of the atmosphere. A vacuum is merely an enclosed space deprived of air, and the "abhorrence" that Nature shows to such a space is due to the fact that air has weight and presses in every direction, and hence tends to invade every space to which it can gain access. It was presently discovered that if the inverted tube in which the water stands was made high enough, the water will no longer fill it, but will sink to a certain level. The height at which it will stand is about thirty feet; above that height a vacuum will be formed, which, for some reason, Nature seems not to abhor. The reason is that the weight of any given column of water about thirty feet in height is just balanced by the weight of a corresponding column of atmosphere. The experiments that gave the proof of this were made by the famous Englishman, Boyle. He showed that if the heavy liquid, mercury, is used in place of water, then the suspended column will be only about thirty inches in height. The weight or pressure of the atmosphere at sea level, as measured by these experiments, is about fifteen pounds to the square inch. Boyle's further experiments with the air and with other gases developed the fact that the pressure exerted by any given quantity of gas is proportional to the external pressure to which it is subjected, which, after all, is only a special application of the law that action and reaction are equal. The further fact was developed that under pressure a gas decreases at a fixed rate in bulk. A general law, expressing these facts in the phrase that density and elasticity vary inversely with the pressure in a precise ratio, was developed by Boyle and the Frenchman, Mariotte, independently, and bears the name of both of its discoverers. No immediate application of the law to the practical purposes of the worker was made, however, and it is only in recent years that compressed air has been extensively employed as a motive power. Even now it has not proved a great commercial success, because other more economical methods of power production are available. In particular cases, however, it has a certain utility, as a relatively large available source of energy may be condensed into a very small receptacle.