Redirecting to Monotonicity of entailment