If all HP1 cases necessarily produce the outcomes specified by HP2, the subset relation holds regard...
This proposition has not been edited since the history system was added.