Add notes up to theorem 30.2
Ignore .bak