negative A-implies-B