They say formula F is weak-expressible by formulas of the system Σ in the logic L if F can be obtained from unary formulas of L and from formulas of Σ by applying the rule of weak substitution (which allows to pass from ...