https://jdhsmith.math.iastate.edu/class/BookOfProof.pdf https://jdhsmith.math.iastate.edu/class/BookOfProof.pdf