Browsing by Keywords means of proof