 A formula \((A \coimp B)\) may be read as “\(B\) co-implies \(A\)” or as “\(A\) excludes \(B\)”. If implication and co-implication are primitive and not defined as in classical logic (and some other logics), further readings of negated implications and co-implications are given by the following equivalences: