right-branching construction