Why can you assume this tree shape for `c.prefix`?