 In the following, we will add Mally’s axioms to the prominent relevance logic R. The result is better than in the case of strict implication: most of the theorems which Mally regarded as surprising are no longer derivable, and Menger’s theorem A ↔ !A is not derivable either. But many “plausible” theorems can still be derived.