 The last step of their account is in a form that requires Lewis’s concretist theory of possible worlds. The last step in a form suitable for a typical abstractionist theory of possible worlds is instead: