Choice among conventions doesn't entail synthetic work—stipulating definitions is analytically true ...
This proposition has not been edited since the history system was added.