Closure of deep boreholes in ice sheets: a discussion