Distinguishing 'true but unknown' from 'known' premises requires epistemology beyond logic; soundnes...
This proposition has not been edited since the history system was added.