A Problem in Possible World Semantics