Section 1.6 Proofs Involving Quaitifiers