Invia SMS: Theory Synthesis in IR