Swarthmore theory search 2.0