Quantification over possible worlds in modal semantics commits the theorist to an ontology of worlds...