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