A pair of worlds and an accessibility relation .