Unwinding and Inference Control