Title: The professional pilot's manual