Conditional reasoning (if P ≠ NP, then X follows) avoids circularity even when the antecedent is unp...
This proposition has not been edited since the history system was added.