Triggers= :p & SMT Triggers= :p & SMT