Comment by jstanley

"if x then y" doesn't imply anything if not x.