VAUT

Definition of VAUT