jbash comments on tlevin’s Shortform