No, they just ended up linking the various invocations of Cantor's Theorem, about which I *was* going to have a footnote but then ellipsis happened and....Re Cantor's proof: are you referring to (but not mentioning!) diagonalization? Harry Binswanger hb@xxxxxxxx