What is the total number of professors with a Ph.D. ?
select count(*) from professor where prof_high_degree = 'Ph.d.'