Question: what is the highest professor extension in the table?
SQL: SELECT max ( prof_extension )  from professor