Tipo existencial: Some
