unvanishing

not defined yet