How TheoryMine Worked