Book sequences Hofstadter Douglas R.