Monotonicity of entailment