person , a professor of history , is a professor emeritus.