add hofstadter