""nothing else is a formula" or "a string is a formula if and only if it" . . . .