knowledgeLabel : Widget.label Widget.widget = Label.create ~text:"Intruder Knowledge" ~width:20 ~height:2 optionFrame