Books without sequence (Voronkov)