MichaelDickens comments on tlevin’s Shortform