> On Jun 30, 2020, at 9:32 PM, Aris Merchant via agora-business > <agora-busin...@agoranomic.org> wrote: > > I CFJ "Aris MAY Call Destruction Down Upon the contract Amusing Test Case.” Arguments: The amusement switch is not a real switch, anyway, because it is not "a property that the rules define as a switch”. It’s just something analogous to a switch.