// Attacks
 public void rest() {
   addHealth(randomFromTo(0, 50));
   addMana(randomFromTo(0, 50));
 }
 public void removeMana(int m) {
   addMana(-m);
 }