edit hofstadter