An important inference from the presence of recursion is this: if a language has recursion then there should be no longest sentence in the language. For example, in English any sentence that someone utters can be made longer. The cat that ate the rat is well can be extended to The cat that ate the rat that ate the cheese is well, and so on.