Hi,
I had too much time on my hands, and started thinking about EIGRP queries, and how it handles a broken link.
I have attached a scenario which I dont understand how can converge with my current understanding.

Assume all links have the same costs.
Basically, when R1 detects a broken link, it will query its neighbors to see if they have a route. This involves sending a query to R2 and R3 as indicated by the black (and very poorly sketched lines

). These routers (both R2 and R3), figures that they just lost their path to 10.10.10.0/24, and then they Query their neighbors (except the interface which it received the original query on, because of split horizon), that means before they (R2 and R3) reply to R1, they extend the query to R4.
How will it proceed from here, ie. take the query R4 received from R2, since R4, does have a second path (different what Query actually comes first) (through R3), will it answer that immediately? and what then happens when the query from R3 reaches R4, will it then have to extend it back to R2?...
I did this in a lab a while back, and it converges without SIA, so somehow it works. I was thinking that if a router received a query for a route it itself was waiting for would somehow cancel outstanding queries, but that doesnt quite compute.
At a loss

Thanks!