[mlpinit]

if p, then q is not equivalent with if q, then p. However this follows: if ~q, then ~p. It's not raining, it must not be my birthday.