Dagon comments on FinalFormal2′s Shortform