make example different from hofstadter's