Yes and perhaps, he took half of the gains and bought back at 30K, effectively adding 10x as much BTC to his portfolio than he had and when it hits 60K again, he will be well up.