We show what choice there is in assigning output digits to transitions of a binary rate

code trellis so that the latter will correspond to a convolutional code. We then prove that in any rate

noncatastrophic code of constraint length

each binary sequence of length

is associated with exactly

distinct paths

branches long. As a consequence of the above properties nondegenerate codes with branch complementarity are fully determined by the topological relationship of the trellis transitions associated with output pairs 00. Finally, we derive a new upper bound on free distance of rate

convolutional codes and use our results to determine the length of the largest input sequence that can conceivably result in an output whose weight is