... or" arrow rule (which is negating the sufficient term that you ... proof starting with the original statement) the following is just ... of the last logical statement (our simplified statement) is ~B---> ... be negative in the same statement because the term "unless" ...