introduction to proofs 3821