A: You have a finite number of strings a > b B: Each has a finite number of ways of spellings. A x B is like, a large number. It would take a lot of type writ

A: You have a finite number of strings a > b B: Each has a finite number of ways of spellings. A x B is like, a large number. It would take a lot of type writers and there might be new ways of spellings, new desitnations and new places to abandon... ehh I mean leave.