Reasoning and proof in arithmetic | Zoonk