Suppose we want to prove that every string is perfectly cromulent. I love it already.