 Suppose s has a fallible justification for believing P7 based on s’s experience as if the animal in the garbage is a fox. Take now R to be P7’s logical negation. Since the justification that s has for P7 is fallible, condition (b) above is met by default. As one can easily check, conditions (a), (c) and (d) are also met. So Fox instantiates the disjunctive template. Yet it is intuitive that Fox does transmit justification to its conclusion. 