The direction-reversal claim simply reassigns premise 3 to a different conclusion without resolving ...
This proposition has not been edited since the history system was added.