out degree > 0 case