403 Hartline Final403 Hartline Proofs