Is the proven? Aperiodic is not the same as "full measure". 101001000100001... is aperiodic but doesn't contain every finite string. But you could say that be

Is the proven? Aperiodic is not the same as "full measure". 101001000100001... is aperiodic but doesn't contain every finite string. But you could say that becaus it contains an infinite set of distinct finite substrings, it can be put in bijection with any countable set of objects. That's not a "picture" in common parlance, via any sort of structured encoding, it's just an index.