Is this keyword correct? In A129363 there is a (misplaced) comment from the author of A175931: "Fini or non-fini sequence A175931 ... ?". With regard to the b-file of A129363 it is plausible that A175931 is finite, but can this be proved?