Talk:Idempotency of entailment