[proof reading search-en] stopped at pi(q) definition in KMP