That's a good paper. I hadn't found that one. I personally had to turn to a totally different way of looking at the problem compared to everything I read.
I basically proved at first that you do not need to prove that all positive intergers will reduce to the 4,2,1 pattern. All you need...