Book sequences Rucker Rudy