Notes up to branching