Branching and merging procedures.