The CADi toolkit is defined as being the assemblage of the following sections: setdefs, numdefs, seqdefs, corelaws, setlaws, numlaws, seqlaws. Because of the parental structure it is sufficient to say