Yeah, I know I was a bit off on Godel’s proof — this has been pointed out. I think, as you say, however, that your more correct interpretation still builds to what I’m arguing.