Text this: A semantic theory of redundancy