Perhaps you could write a formal proof of the bijection, on a side note, just so one can see how it would look like. I think we must not fear losing readership by being a bit technical, especially since you did a great job giving an informal explanation.
RE: Infinity and Beyond - Part 2