. . " 0) Assumption: If every x has a y and A is an x, then A has a y." . . .