A joke about two miners (II)