 Limiting our interpretations of arguments to the inferential forms afforded by formal languages in which there are only logical constants thus precludes us from representing the forms of many arguments, in much the same way that the design of the IBM 360 ruled out file names with more than eight characters (cf. van Benthem, 2013).