 The deductive system for the new logic is formed by the rules of both logics. The rules of \({{\cal L}}\) can be instantiated with formulas of the parameterized language, but the rules of first-order logic can only be applied to pure first-order formulas.