Zetetic comments on Formulas of arithmetic that behave like decision agents