In this paper our goal is double. First of all we aim to show that there is a deep link between Bolzano's notion of exact derivability and Tennant's relevant logic CR. Secondly, we aim to argue that Tennant's relevant logic CR is an adequate framework for developing interesting grounding rules for the implication connective.