>>759 The problem is that one would need to restrict to eventually zero sequences, the sequence you'd construct however wouldn't be eventually zero.