 However, Adams (1970) was also aware that indicative/subjunctive pairs like (3)/(4) differ in their assertability. To explain this, he proposed the prior probability analysis of counterfactuals (Adams 1976):