Prefixes starting with <MICHA>
<MICHAE>
.
<MICHA> (other)
.