Dagon comments on orthonormal’s Shortform