(p), if had not been true, would not have been used, and another method would have been If there are any 'relevance logicians' among the readers of the present paper, then one would have to note that the counterfactuals presumably imply the corresponding relevant conditionals.