Stalnaker axioms.pdf