"General Hofstader? Hofstader?"