It seems reasonable to believe that there might have existed things other than those that in fact exist, or have existed. But how should we understand such claims? Standard semantic theories exploit the Leibnizian metaphor of a set of...