Normalization, Cut-Elimination & the Theory of Proofs by A.M. Ungar