orthonormal comments on A Challenge for LessWrong