 Gärdenfors’s (1978, 1988: sects. 7.1–7.2) initial idea was to take conditionals that are accepted at a belief set as beliefs, i.e., as elements of this very belief set. Let us call this Gärdenfors’s Ramsey test: