orthonormal comments on orthonormal’s Shortform

[orthonormal]

Thanks, will do.