William Christopher was 84.