systematic presentation of ideas about proofs in ch 1 and 2