Alexis wrote: > I do not think these sorts of hypothetical conditionals work, fwiw.
If this is based on the precedent in CFJ 1215, I would argue that those judgements were only specifically applicable to situations in which the relevant recordkeepors have _no reasonable way_ of knowing the value of the conditional on which the action is contingent (e.g., "t is standing up"). However, in this situation, one can ascertain the objective truth solely from the gamestate; we are only awaiting a judge to perform this duty and deliver eir results. Unless e pulls an R Lee and judges on the technicality of Gaelan's NttPF - which I missed too - without ruling on the underlying issue, I suppose. Additionally, the judgement in CFJ 1215 was based on the best interests of the game, and I would argue that in this case, the best interests of the game require us to keep Agora functioning as closely as possible to the intended meaning of the auction rules. -twg
