Added Quantifiers.