Gabbay-Pitts NEW quantifier