VANISHES

Definition of VANISHES