public (Province, Dynamics.IAction[]) GiveUpTo(Army his_army) { return(WithArmy(his_army), new[] { Army.Lose(this), his_army.Gain(this) }.NotNull().ToArray()); }