Text this: Why Prove it Again?