 Kọkọ parí gbólóhùn yìí: Òǹkọwé kan tó ń jẹ Lucian, tó gbé ayé ní ọgọrùn-ún ọdún kejì Sànmánì Kristẹni sọ pé: : ìparun ìlú sírákúsì c. 214212 BC, Archimedes pa àwọn ọkọ òkun ọtá run. Ní ọpọ ọrúndún lẹyìn náà, òǹkọwé kan tó ń jẹ Anthemius ti ìlú Tralles mẹnu kan gíláàsì oníná gẹgẹ bí ohun ìjà tí Archimedes lò. Wọn máa ń lo ohun èlò yìí, tí wọn máa ń pè ní ìmọlẹ ooru Archimedes, láti darí ìmọlẹ oòrùn sí àwọn ọkọ òkun tó ń sún mọ wọn, kí wọn lè jóná. Lóde òní, wọn ti ṣe irú àwọn ẹrọ bẹẹ, wọn sì lè pè wọn ní ẹrọ amúnáwá tàbí ẹrọ amúnáwá tó ń lo oòrùn. 