152. How can a gas be liquefied?