"Hofstader!"