@with_ne0