Tagged
The gate that fixes its input changes what the next gate sees. The summary that replaces the thing it summarized becomes the thing verified.