jacquesthibs comments on Joseph Miller’s Shortform