Argument P4 smuggles in a substantive metaphysical commitment — that generic existence is necessary ...