If the background logic used to establish the entailment is proof-theoretically stronger than the sy...