The change of a substance from a solid directly to a gas is called