The mapper and successor procedures of unfolds are indeed concurrent.