Enviar por SMS: Theory Synthesis in IR