SatvikBeri comments on orthonormal’s Shortform