What are the first names of all professors not teaching any classes?
select emp_fname from employee where emp_jobcode = 'PROF' except select t1.emp_fname from employee as t1 join class as t2 on t1.emp_num = t2.prof_num