 But since this article employs closed formulas, the distinction between E- and E\(^+\)-logics may here be ignored. (See Williamson (1999) for an illuminating discussion of problems engendered by permitting open formulas in inclusive logics.)