@robinhouston @theoremoftheday I got to it via the "if n is in the sequence then n+(rank of n) is not in the sequence" definition. I was very surprised to find the fibonacci word!