Seth Herd comments on FinalFormal2′s Shortform