Yes, but I think that's when we look at GDX/gold medium-term (a couple of months max). Very short-term (1, 2, 3 days) miners tend to lose those gains they got from going against gold. Like today, gold barely moved since the market opened and miners went from green to red.