Viliam comments on orthonormal’s Shortform