Write branch in terms of representable