orthonormal comments on Formulas of arithmetic that behave like decision agents

[orthonormal]

It’s awesome of you to write this up! I’m going to have to look through it more carefully tomorrow.