Mere entailments without scope don't distinguish powerful theories from ad-hoc ones; generality requ...
This proposition has not been edited since the history system was added.