Here's a new draft. Changes:
- Definition: A Victory Product is a Victory Card and/or Point. This
simplifies some wording.
- Redo the fix. Now:
- Products owned by the contract only go to the Trustee, but any
player can cause that to happen.
- Players can only withdraw from the Trustee emself (like before). To
prevent the problems, there are now conditions: the contract
doesn't own anything, and Cards are being withdrawn before Points.
I propose the following amendment, delimited by {...}, to the
Obstructive Pooling Contract (but not really because it's a draft).
{
At the end of this paragraph:
Decipoints are a currency. A Victory Point is worth ten Decipoints
and a Victory Card is worth 25 Decipoints.
add the sentence:
A Victory Product is a Victory Card or a Victory Point.
Replace:
The Trustee CAN transfer Victory Cards and Victory Points from this
contract to emself by announcement.
with
The Trustee CAN transfer Victory Products from this contract emself
by announcement. Any party to this contract CAN act on behalf of
the Trustee to transfer Victory Products Points from this contract
to the Trustee.
Replace the following text:
Any player (the withdrawer) CAN act on behalf of the Trustee to
transfer Victory Cards and/or Victory Points to the withdrawer with
value up to the withdrawer's Decipoints balance; when the withdrawer
does this, that value in Decipoints in eir possession is destroyed.
with:
To Withdraw is to act on behalf of the Trustee to transfer Victory
Products to oneself. When a player Withdraws, the corresponding
value in Decipoints is destroyed from the Withdrawer's possession.
Any player CAN Withdraw Victory Products as long as all of the
following are true:
1. The contract owns no Victory Products.
2. The Victory Products being withdrawn do not exceed the
withdrawer's balance before the withdrawal.
3. No Victory Points are being withdrawn, or the Trustee owns no
Victory Cards, or the Withdrawer is withdrawing all of the
Trustee's Victory Cards. (In other words: preference must be
given to withdrawing Cards.)
}
--
Falsifian