On the other hand, reasoning about either of the probabilities equalling classically entails the following contrapositive form of the above: .
On the other hand, reasoning about either of the probabilities equalling classically entails the following contrapositive for:m of the above .