Entailment tracks modal consequences: what must exist if a theory's core claims are true, revealing ...
This proposition has not been edited since the history system was added.