Negative control: Dbad ≠ AX