Added Quantifier to Configurator