kbear comments on Dalmert’s Shortform