FOM: Small but critical correction to previous post.

[JoeShipman@aol.com]

Oops!  I meant to refer to the "circuit value" problem, not the
"satisfiability" problem--the circuit value problem is PTIME-complete but
appears unlikely to be in DSPACE(log(n)^2).  My apologies for not proofreading
my post before sending it! - JS