The model theoretic study of modal logic ('possible worlds' semantics) could only confirm this conviction the alleged counterexamples involving modal properties always turned out to turn on some confusion