[ rename ]
[ new ] naïve approach to SN in Godel's T

Obviously this is not seen as terminating. A more subtle approach is needed.