method destroy : unit = ( destroy optionLabel; destroy verificationLabel; 
                    List.iter (fun t -> destroy t) rads;
                    destroy agent; destroy knowledgeLabel; 
                    destroy frame2; destroy levelLabel;
                    destroy levelEntry;)