UNC Proof Set