Idempotency of entailment

ID: idempotency-of-entailment

New to topics? Read the docs here!