MichaelDickens comments on orthonormal’s Shortform