BRANCH notation.