This is textex_bot, i'm speaking symbolically.