... 's a lot of confusion in this thread. The contrapositive of 'P ... straightforwardly '~(~M -> B) -> ~P'. With one application of De ... Morgan's, this is equivalent to '(~M & ~B) -> ~P', as @Q ... from the fact that it's unclear whether "unless" expresses ...