Carbon dioxide can be frozen into dry ice