Showing a dichotomy fails doesn't entail there are unspecified third options; it may simply show the...
This proposition has not been edited since the history system was added.