orthonormal comments on Advancing Certainty

[orthonormal]

Here’s one facet of the argument.