>>2924310

Any implication is equivalent to its contrapositive, as well (Think Mirror)?

So if RR is not dirty, Mueller is not dirty.

If Mueller is not dirty, RR is not dirty.