The Jarvik 2000 is much smaller, meaning in theory it can be left in permanently, provided it does not fail mechanically.

BBC: Heart pump man thriving

The winning bidders could, in theory, sub-licence the rights to another broadcaster, meaning that theoretically Setanta could end up broadcasting Premier League football in the coming season - though analysts say this is unlikely.

BBC: BT Vision stops selling Setanta

Mr Quine developed a theory of language according to which truths of fact blend into truths of meaning, so that there is no absolute distinction between the two.

ECONOMIST: Willard Quine