 Stalnaker (1975) argued that although (*) is invalid, it is nevertheless a “reasonable inference” when “\(A\) or \(B\)” is assertable, that is, in a context in which \({\sim}A \amp{\sim}B\) has been ruled out but \({\sim}A \amp B\) and \(A \amp{\sim}B\) remain open possibilities.