Some truths (e.g., mathematical theorems) are necessarily true yet cannot be grounded in efficient c...
This proposition has not been edited since the history system was added.