Taral wrote: > On Thu, Nov 27, 2008 at 7:46 PM, Ed Murphy <[EMAIL PROTECTED]> wrote: >> Proposal: Fix double jeopardy >> (AI = 2, please) > > Why not just replace "has" with "had"?
Because that would just amount to "had (before T)", bringing into question what T is. If T is "the time at which the current judgement is delivered", then you haven't changed anything. If T is e.g. "the time at which the current case is initiated", then you run into race conditions, e.g. a) CFJ 3000 is initiated for crime X b) CFJ 3001 is initiated, also for crime X c) CFJ 3001 is judged; ALREADY TRIED is not appropriate d) CFJ 3000 is judged; ALREADY TRIED is not appropriate here, either
