On Mon, Mar 20, 2023 at 1:22 PM nix via agora-discussion
<agora-discussion@agoranomic.org> wrote:
>
>
> On Mon, Mar 20 2023 at 10:32:39 AM -07:00:00, Yachay Wayllukuq via
> agora-business <agora-busin...@agoranomic.org> wrote:
> > I do the action stated in Rule 2659 that is in its third paragraph
> > ("Any
> > player <https://agora-ruleset.gaelan.me/#Rule869> CAN
> > <https://agora-ruleset.gaelan.me/#Rule2152>, once per week
> > <https://agora-ruleset.gaelan.me/#Rule1023>, pay X Stamps, where each
> > specified Stamp is a different type, to gain (X^2)-X radiance.")
> > paying 0
> > Stamps to gain 1 Radiance.
> >
> > 0^0 - 0 = 1
> >
> > I need to be able to destroy the asset in order to do the fee-based
> > action
> > (Rule 2579), and all attempts to destroy no assets, so zero assets,
> > are
> > successful (Rule 2577).
>
> Besides the issue snail mentioned, I've been wondering if it's possible
> to pay zero "different" stamps, since there's nothing for it to be
> "different" from.It should be? I'd think Agora would translate "each" as universal quantification in this context, which trivially evaluates to true if applied to an empty set of stamps. -Aspen
