henryaj comments on Mikhail Samin’s Shortform