if *x is the opposite of *y then *y is the opposite of *x.