If (a < 0 || b < 0) is false, then (a >= 0 && b >= 0) is true,
which implies (a >= || b >= 0) is true as well.
And this was tagged as a FALSE positive!?!