The Shaping of Deduction in Greek Mathematics by Reviel Netz