The node you are looking for is at Avoiding Verification Loops.