bohaska comments on gwern’s Shortform