D Definitions
T Theorems
L Language
GS Getting Started
C Constructive Proofs
E Equivalences
N Negation
CP Contrapositives
CV Converses
CD Contradiction
U Uniqueness
ME Multiple Equivalences
PI Proving Identities
DC Decompositions
I Induction
P Practice
LC Lemmas and Corollaries