Book sequences Irvin John