lava is typically red

});