Grade-school mathematical reasoning