T E A M S - Proofs Sub-Categories