if-then: the promise rule

implication explained simply: an "if… then…" is a promise, and there is exactly one way to break it