[proof reading search] topped at good suffix rule