UNC And Proof Sets - Category