public void resetMana() {
   mana = maxMana;
   mana -= overload;
   overload = 0;
   resetNumCardsUsed();
 }