Added some explanation of how the fragments of the PL can be considered
worlds.