Is “If you come here, then you are mad” the same thing as “If you are not mad, then you wouldn’t have come here”.