 Marcus herself proposes the substitutional reading of quantification to skirt the need for non-actual possible objects (Marcus 1976), and later suggests combining it with objectual quantification over actual objects (Marcus 1985/86).