 (4) It is analytic, necessary, and a priori that the F G is F. Hence, the existent perfect being who creates exactly n universes is existent. Hence the perfect being who creates exactly n universes exists.