branching quantification