public override string ToString() { return "Player " + Player + " discards " + cards.ToListString(); }