And that’s why this pun is fun: This pun is funny because it plays on the double meaning of “mine.” It can refer to ownership (‘It’s mine!’) and also literally to a coal mine. The humor arises from the clever wordplay and surprise in context, making it relatable and witty.