Definition of WADSET,