Linch comments on orthonormal’s Shortform