nonvanishing

not defined yet