Symbols:Universal Quantifier