Nisan comments on Formulas of arithmetic that behave like decision agents

[Nisan]

I finally did it, and I believe it works.