Title: An irreducibility theory of metaphor