Stalnaker Semantics.pdf