Now modus ponens, inferring the truth of a cognition from the truth of its consequences, would be allowed only if all of the possible consequences are true; for in this case only a single ground of this is possible, which is therefore also the true one.