And as soon as I sat down to type this up, the correct phone number, 835 2372 popped into my head, which is interesting, because it is just a not-quite permutative jumble of ...83279 50288..., showing my brain was sort of vaguely on the right track.
Man, I tell ya. Math is cool, but numbers are not cool. Hence math is not about numbers.
During the day I poked at my typechecker code some, ran into