 Andreas and Günther specify the first condition by a strengthened Ramsey Test, which emerges from an analysis of the word “because” in natural language. Ramsey (1931) proposed to evaluate conditionals in terms of belief change. Roughly, you accept “if \(A\) then \(C\)” when you believe \(C\) upon supposing \(A\). This Ramsey Test has been pointedly expressed by Stalnaker: