A summary of results on negative implication is below. We notice that the decidable cases are orthogonal to those for positive implications. Note also that unlike in the positive cases, we have tractable cases for **data** complexity.  