Todos los hombres son mortales formula_1 Algunos no-hombres son inmortales