 N\(_4\) is a relevant logic. It has the variable-sharing property. And it has a very simple and intuitive semantics. It is, however, a very weak logic. It does not contain any transitivity axioms for implication. It has a transitivity rule. It does not contain either the contraposition axiom nor the rule form of contraposition.