simplify defn of termEvent