orthonormal comments on Formulas of arithmetic that behave like decision agents

[orthonormal]

Great!

[Nisan]

I finally did it, and I believe it works.