Any well-ordering is dependent on arbitrary choices in its construction, making dependent choice fun...
This proposition has not been edited since the history system was added.