Probably branching