The Shaping of Deduction in Greek Mathematics