Calling this 'reverse determination' obscures that we're merely applying standard modal logic to ove...
This proposition has not been edited since the history system was added.