  Suppose \(s\) is relevant evidence for an implication and  \(t\) is relevant evidence for the antecedent. Then \(s\)  and \(t\) together provides relevant evidence for the  consequent. The following condition on evidence functions is assumed: