branching to convert to fixed point