 On the first reading, the world-quantifier takes wide scope. On the second, the bachelor-quantifier takes wide scope and the world variable is unbound. On the operator treatment, we dispose of quantification over worlds and let the predicates be interpreted relative to the operators, perhaps as a matter of movement, perhaps by other semantic means.