Notes on Proof Theoretic Strength
(for noframe browsers)