public override string ToString() { return "Player " + Player + " proposes to trade " + give.ToDeepString() + " for " + take.ToDeepString(); }