On Tue, 2008-08-05 at 21:28 -0700, David Wagner wrote: > Undecidability isn't nearly so bad as people sometimes think. So the trick to undecidability is deciding not to undecide?