Some problems can be resolved by introducing state (which is natural in CS), but here, the execution will still not reach a halting state, because W2 at t=5 forcefully reactivates W3.

→ View original post on X — @plinz,