Two kinds of lava, why one may be easier to remove if it covers the highway