Book sequences Conway James L.