Most underground coal is taken using longwall mining which causes the roof to collapse as it moves forward so there isn’t any empty space to fill with something else.