  In this paper, we highlight a profound difference between conditional
statements in mathematical logic and natural languages. This difference exists
even when the conditional statements are used in mathematical theorems.
