SMS: The shaping of deduction in Greek mathematics