A semantic theory of redundancy (Linguistics and Philosophy, 2025)