lukeprog comments on Rewriting the sequences?