4 A Problem in Possible-World Semantics