Ovo vrijedi za bilo kakvu poštenu profesiju, biti rudar nije ništa posebno u tom smjeru. Uz dužno poštovanje, njih petorica nisu ništa više ili manje nego žrtve industrijske nesreće. Ne vidim razlog zašto ih sad glorificirati kao "šehide" ili nešto slično.