pjeby comments on orthonormal’s Shortform