Match the expression on the left with the explanation on the right of the nested quantifications. Drag and drop application. xy P(x, y) xyP(x,y) drop zone empty. xy P(x, y) xyP(x,y) drop zone empty. xy P(x, y) xyP(x,y) drop zone empty. xy P(x, y) xyP(x,y) drop zone empty. For every x, there is a y for which P(x, y) is true. There is an x for which P(x, y) is true for every y. P(x, y) is true for every pair x, y There is a pair x, y for which P(x, y) is true