niplav comments on orthonormal’s Shortform