Formulas of arithmetic that behave like decision agents

[Nisan]