Prefixes starting with <Disti>
<Distin>
.
<Disti> (other)
.