Higher-order vagueness is unavoidable: any attempt to sharpen 'precisification' via meta-language ge...
This proposition has not been edited since the history system was added.