Text this: Some General Results About Proof Normalization.