If p `->` q, then
if p then q
it is true if p is false
it is false if p is true
all of these
how all of these ????