No More Learning

The modus tollens of reasoning from known           to the unknown proposition, is not only a rigorous, but a very easy mode of proof.