Zaucha, J. Negative Opacity. Predicates Implying Falsehood of a Proposition. LinCop 2020, 16, 143-155.