* added Searcher.
* added IsAxiom() methods.