Negative times negative equals