> On Aug 13, 2020, at 10:36 PM, Byron Krane via agora-discussion
> <agora-discuss...@agoranomic.org> wrote:
>
> Gratuitous arguments: There is probably no lowest integer with this
> property, because integers include negative numbers.
Ah, yep, duh, so my revocation definitely failed.
I consent to, and do, amend the contract by replacing {lowest integer} with
{lowest positive integer}.
I revoke 5 coins in that contract's possession by announcement. [No Faking
disclaimer: this may not work]
I withdraw my CfJ and call a new one with the same text. (Are CfJs interpreted
at time of judgement or time of calling? I'm not sure off hand, so playing it
safe.)
Gaelan
