Description: A commuted form of the contrapositive, true in minimal calculus. (Contributed by BJ, 19-Mar-2020)