Added quantifier keyword for the Where expression; removed "all" quantifier