McNair Final Proof