Inconsistent proof control results.