One-way entailment only guarantees the entailer is necessary for the entailed; it says nothing about...
This proposition has not been edited since the history system was added.