P3's claim can be evaluated without category-error diagnosis; disagreement about completeness's scop...
This proposition has not been edited since the history system was added.