 The first-order Barcan formula forces one to interpret quantifiers as ranging over all possible individuals, whatever world one is ‘in’—no ‘expansion’ or ‘contraction’ of the domain can be involved as one traverses the accessibility relation from possible world to possible world. 