Is this actually true? It is not clear to me that pi necessarily contains every possible sub-sequence.