One-way entailment logically prevents the entailed property from being stronger than what entails it...
This proposition has not been edited since the history system was added.