The problem is that there are groups that, given ~A => B, would argue both against A and against B.