Added "some" quantifier