Do college professors work hard enough? WP