> deal with impractically large sequences of symbols for relatively simple concepts. I don't think they would ever have to be impractically large. Right now t

> deal with impractically large sequences of symbols for relatively simple concepts. I don't think they would ever have to be impractically large. Right now they are just impractically weird.