Triggers= :p & SMT