On Mon, Aug 13, 2012 at 9:29 AM, Sean Hunt <[email protected]> wrote: > CFJ: { I can cash a promise named A Million Bucks. }
For completeness, since this is phrased like a turtle, any reason you think this should be UNDECIDABLE as opposed to UNDETERMINED?
