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