Find the names of all procedures which cost more than 1000 but which physician John Wen was not trained in?
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"