 (Here \(A(v/x)\) is the result of replacing every occurrence of the variable \(x\) in \(A\) by a variable \(v\) that is free for \(x\) in \(A\).) Conversely, the following substitution rule is valid in E-logics but not in E\(^+\)-logics: