No More Learning

If that is how matters stand, then the           proof is not at all a proof that could have its force in the cogency and conclusiveness of its de- ductive steps.