Prove su Branching and merging