I just added an article Al's Infinite Hotel to Descriptive Mathematics. I realized today that for the infinite hotel model to work, there must be a logical sequence that works backwards from infinity. This is probably common knowledge, but it fits well within my refutation of the Diagonal Method