502. Gas can be liquefied under what condition?