Inferential roles alone cannot explain why '2+2=4' is necessarily true while '2+2=5' is necessarily ...
This proposition has not been edited since the history system was added.