DEFN

definition with guard t
Major Section:  EVENTS

Defn is defun with guard t.