changed title of section 4 to unfolding semantics