Evaluated proc +dox {who type args} { if { [aa dox $who] == "" } { aa dox $who [list] }; aaa dox $who $type $args }