let display_intruder_knowledge (() : unit) : unit =
        Listbox.delete intruder_knowledge_lst ~first:(`Num 0) ~last:`End;
        let knowledge = let tmp = decompose(get_value_of_var "x" "set_knowledge"in
                        if(tmp<>[]) then (cdr tmp)
                        else []
        in
        Listbox.insert intruder_knowledge_lst ~index:`End ~texts:(List.map transcript_sender knowledge)