Add a comment that explains what `can_be_negative_1` and `can_be_negative_2` are.