Suppose we drop the positivity condition, then the key step $\text{Im}(e^{-i\hat{\theta}}F)\leq 0$ would break down, so the above proof of Prop. 3.40 would be invalidated. However, the conclusion may still be true (cf. section 5.7.1).