Archimedes discovers the law of buoyancy