. . . "For every A there is a B such that for every x ??? A there is y ??? B for which P(x,y???) holds." .