There is a machine that makes things hot when they are cold (a microwave). But what about an alternative version of the microwave that makes things cold when they are hot?