Prefixes starting with <substitute>

<substitute > . <substitute> (other) .