Idempotency of entailment