I’d say that you can model conceptually the same way with a time traveling debugger and get really comfortable. A recusing function is just an event loop where you know how the data is being mutated.