... , it's because the negation isn't taking wide-scope ... is the conditional, not the negation. There's a difference ... guessing the former, wide-scope negation, is what 7sage calls " ... 4"?
Wide-scope negation propositions usually begin with something ...