Browsing by Keywords theorem dynamics