un poco mas de formalizacion, desaparece el ejemplo