I think it's an interesting proof in the context of distributed systems where delays can be interpreted in any number of different ways, and the paper shows pre

I think it's an interesting proof in the context of distributed systems where delays can be interpreted in any number of different ways, and the paper shows pretty concretely the existence of at least one of these delay-causing inputs. In most practical scenarios it's not an issue, sure, but I don't think that's what the author was trying to get across as the point of this.