Added unary restriction to every and some