Clearly we still have a mine shaft gap.
I’ve been hoping that Elon Musk’s Boring Company would develop personal boring machines so we can all have a mining shaft in our back yard.