Do I understand correctly that Archimedes was not familiar with the concept of work and hence attributed mechanical advantage to a lever's ability to create force rather than understanding that the long arm of a lever might help you lift a heavy stone, but this was at the expense of the long arm having to move a longer distance than the shorter arm? (like in the attached image)