Definition:Finite Branch