Generalización existencial.