Question: Do both of them have doctorates?
SQL: SELECT count ( * )  FROM professor WHERE dept_code  =  "HIST" and prof_high_degree  =  "Ph.D."