what happens to a diamond when put into lava

});