UNC & Proof Sets