This is a problem for formal languages, since a formal statement needs to be finite in length. These problems can be avoided by using "universal quantification". This results in the following compact statement: