That is correct. However, the messages within messages should be impossible if protein functionality is exceedingly rare. The math there should be easy enough to work out, right? The fact that overprinting is so common and easy to evolve is a very strong evidence against the rarity of function in sequence space.