Force suspended on a vertical spring scale experiences the force of gravity acting on the object balanced by a force applied by the "spring reaction force", which equals the object's weight. Using such tools, some quantitative force laws were discovered: that the force of gravity is proportional to volume for objects of constant density (widely exploited for millennia to define standard weights); Archimedes' principle for buoyancy; Archimedes' analysis of the lever; Boyle's law for gas pressure; and Hooke's law for springs. These were all formulated and experimentally verified before Isaac Newton expounded his Three Laws of Motion. Dynamic equilibrium was first
Clarke's three laws into any typeface and size from Albertus Extra Bold to Zurich Calligraphic", referring to his memory of "seeing and hearing Linotype machines which slowly converted ‘molten lead into front pages that required two men to lift them’". A fourth law has been proposed for the canon, despite Clarke's declared intention of stopping at three laws. Geoff Holder quotes: "For every expert, there is an equal and opposite expert," which is part of American economist Thomas Sowell's "For every expert, there is an equal and opposite expert, but for every fact there is not necessarily an equal and opposite fact", from