Question: What are the names of the procedures that cost more than 1000 and are procedures John Wen was trained in?
SQL: SELECT name FROM procedures WHERE cost  >  1000 INTERSECT SELECT T3.name FROM physician AS T1 JOIN trained_in AS T2 ON T1.employeeid   =   T2.physician JOIN procedures AS T3 ON T3.code   =   T2.treatment WHERE T1.name   =   "John Wen"