Trial

If a call to find or apropos returns too many results it can be convenient to do a further search within only the previous results.  Thus getting the effect of the intersection of two searches, eg theorems whose name contains str and whose conclusion contains subterm matching pat