同様に、「現実世界において、aであってもよい」という文の直観的な意味は、「現実世界から見て義務論的に完全な世界のうち少なくとも一つの世界では、aが成り立っている」というものである。