orthonormal comments on Exploiting EDT

[orthonormal]

I like this! You could also post it to Less Wrong without any modifications.