Stuart_Armstrong comments on Arguing Orthogonality, published form

[Stuart_Armstrong]

Turned out to be non-trivial to do that (without messing up all the rest of the formatting), but this should be better now.