A joke about two miners (I)