%%% Assignment 3
%%% Extra Credit
%%% Out: Monday Sep 24
%%% Due: Monday Oct 1
%%%

Give an example of a correct proof that is not normal (together with an argument that it is not).  (10 points).