orthonormal comments on The Irrationality Game

[orthonormal]

Oops, I see the ambiguity. Edited.