Re: Inconsistent proof control results.