TAUTS

Definition of TAUTS