 Lewis doubted several aspects of this story. He briefly notes in “Adverbs of Quantification” that he didn’t think the ‘if’ in Probably, if p, q is a binary connective. But the more telling objection was his proof that there could not be a connective → such that for all p, q, Pr(q | p) = Pr(p → q). Lewis first argued for this in (1976b), and showed how to weaken some of the assumptions of the argument in (1986h). The effect of Lewis’s position was to essentially end the hope of analysing English ‘if’ in terms of a binary connective with these probabilistic properties.