Special:EditPage/Idempotency of entailment