Search_theory loading ...