Hey dev, can i mine GEO in your pool normally? They're swapping now. If we mine GEO, do we lose all of coins?