Therefore formal identity cannot be stronger than essential identity if the entailment relation runs...