premise: He then gave Archimedes the challenge of launching the Syracusia, an enormous ship weighing 4 200 tons that had been built as a gift for Ptolemy, King of Egypt and which was so heavy that all previous launch attempts had failed.