further work on infinite sequences post