Prefixes starting with <migra>

<migrat> . <migra> (other) .