Assigning sub-certainty to logical principles undermines their function as constraints on valid reas...
This proposition has not been edited since the history system was added.