Before revision: After writing down A, B, and Z in his notebook, Achilles asks the Tortoise to accept the hypothetical: C: "If A and B are true, Z must be true" The Tortoise agrees to accept C, if Achilles will write down what it has to accept in his notebook, making the new argument: A: "Things that are equal to the same are equal to each other" B: "The two sides of this triangle are things that are equal to the same" C: "If A and B are true, Z must be true" Therefore, Z: "The two sides of this triangle are equal to each other" But now that the Tortoise accepts premise C, it still refuses to accept the expanded argument.
After revision: After writing down A, 3456789098765434567890-, and Z in his notebook, Achilles asks the Tortoise to accept the hypothetical: C: "If A and B are true, Z must be true" The Tortoise agrees to accept C, if Achilles will write down what it has to accept in his notebook, making the new argument: A: "Things that are equal to the same are equal to each other" B: "The two sides of this triangle are things that are equal to the same" C: "If A and B are true, Z must be true" Therefore, Z: "The two sides of this triangle are equal to each other" But now that the Tortoise accepts premise C, it still refuses to accept the expanded argument.