Title: Reason in arithmetic