but that means branching at every point