Practical Arithmetic, Uniting the Inductive with the Synthet by