Among the procedures that cost more than 1000, which were not specialized in by physician John Wen?
SELECT name FROM procedures WHERE cost  >  1000 EXCEPT 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"
procedures that cost more than 1000 refers to cost > 1000; not specialized in by physician John Wen refers to using EXCEPT to filter out procedures John Wen is trained in;