Trees -- On the Evaluation of Indexing Techniques for Theorem Proving -- On the