Book sequences Halifmanis Josifs Arona d.