SMS: Aristotle and Ptolemy on geocentrism