"For each i in {1,. . .,n} Si is a symbol" . . . .