. . . "that b is an ancestor of c and d, and that" .