Viliam comments on FinalFormal2′s Shortform