Closed James-branigan-sony closed 1 week ago
|B| must be less than |B'| in order for B to be an ancestor of B'.
|B| must be less than |B'| in order for B to be an ancestor of B'.