Las declaraciones cuantificadas se escriben en la forma: