North Proofs