Definition of "vanishes"