Making implicit premises explicit preserves the arguer's original intent while satisfying formal log...
This proposition has not been edited since the history system was added.