Text this: The shaping of deduction in greek mathematics