Added "all" quantifier