Text this: Interactive theory revision :