Reported unproved conjecture to stderr.
Reported unproved conjecture to stderr.

Ignore-this: 6f36088e4107fb87940ca5f85366e002

darcs-hash:20101224142311-3bd4e-037a9218a24bc2352e9006a71f367352adcddde1.gz

asr/fotc,asr/fotc