orthonormal comments on orthonormal’s Shortform

[orthonormal]

Thanks for drawing distinctions—I mean #1 only.