Mostly because eliminates double-negations.
Mostly because eliminates double-negations.