Very cool. I'm still trying to wrap my head around what makes ABAB uncountable though. I understand the diagonal bit (its excluding them one by one), but it almost feels like that uncountable infinity is defined by a rule ("every combination") while the doors are defined by a different rule ("every item going upwards in count")