Did Archimedes really figure out buoyancy? Before him, did people just look at boats and go "Well, we have no idea how this works, or even how to go about figuring out how this works." ?