  However, this very feature of Lewis's account —  worldboundedness — might appear to threaten its coherence. For  example, since Algol is in fact a pet, given worldboundedness and the definition   AE1  of existence in a world w, we have: 