Text this: An "insulating" shotcrete for heat abatement in deep mines.