sjadler comments on Mikhail Samin’s Shortform