DEFN

definition with guard t 
Major Section:  EVENTS

Defn is defun with guard t.