I just saw the sale of 4k.net which sold on December 25, 2019 for $10,099. Now the same domain sold today for $5,099. That's 50% loss in value. Was the domain earlier sold for a higher price or is this a huge depreciation that we are seeing? What are your thoughts on this one?