... of confusion in this thread. The contrapositive of 'P -> (~M -> ... said. I don't see the point of going through more ... a lot of the confusion here stems from the fact that it ... among logicians, but I think the trend is towards interpreting "unless ...