User blog comment:Wythagoras/Hydra machines/@comment-1605058-20141026133450/@comment-1605058-20141026184248

Assuming all the assumptions we assume about fundamental sequences, I suppose you are right.