P2 and P3 likely entail that Qc and the count being zero are genuinely incompatible; dissolving thei...
This proposition has not been edited since the history system was added.