Formatting professor spec