worksheet1-intro-formal-arithmetic.pdf