watch out for converse error!

P -> Q
~Q -> ~P
Q -/> P
~P -/> ~Q