SMS versenden: Theory Synthesis in IR