I think AGI is going to $11. This miner bear market is hurting it right now. But, you won't go wrong with more ARCTF either. Tough choice.