Relativizing choice to a specific well-ordering makes the function's behavior contingent on non-math...
This proposition has not been edited since the history system was added.