books/ProvingAxiomCorrect.pamphlet

Pick out the algorithm to be attacked for the first proof attempt.
This will help focus the research to be specific.