If-then statements lead to powerful deductions. Every if-then statement has a valid contrapositive, such as: "If you did not pass the bar exam, you must not be a lawyer." Setting up the logic ...