SMT Event Adder

    This is a required question