Prefixes starting with <Succ>
<Succe>
.
<Succ> (other)
.