Proofs Sub-Categories