What are the first names of the professors who do not teach a class.
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