John Bernoulli, in 1717, first perceived the universal import of the principle of virtual movements for all systems; a discovery stated in a letter to Varignon. Finally, Lagrange gives a general demonstration of the principle and founds upon it his whole _Analytical Mechanics_. But this general demonstration is based after all upon Huygens and Torricelli's remarks. Lagrange, as is known, conceives simple pulleys arranged in the directions of the forces of the system, passes a cord through these pulleys, and appends to its free extremity a weight which is a common measure of all the forces of the system. With no difficulty, now, the number of elements of each pulley may be so chosen that the forces in question shall be replaced by them. It is then clear that if the weight at the extremity cannot sink, equilibrium subsists, because heavy bodies cannot of themselves move upwards. If we do not go so far, but wish to abide by Torricelli's idea, we may conceive every individual force of the system replaced by a special weight suspended from a cord passing over a pulley in the direction of the force and attached at its point of application. Equilibrium subsists then when the common centre of gravity of all the weights together cannot sink. The fundamental supposition of this demonstration is plainly the impossibility of a perpetual motion. Lagrange tried in every way to supply a proof free from extraneous elements and fully satisfactory, but without complete success. Nor were his successors more fortunate. The whole of mechanics, thus, is based upon an idea, which, though unequivocal, is yet unwonted and not coequal with the other principles and axioms of mechanics. Every student of mechanics, at some stage of his progress, feels the uncomfortableness of this state of affairs; every one wishes it removed; but seldom is the difficulty stated in words. Accordingly, the zealous pupil of the science is highly rejoiced when he reads in a master like Poinsot (_Théorie générale de l'équilibre et du mouvement des systèmes_) the following passage, in which that author is giving his opinion of the _Analytical Mechanics_: