Point taken, Phill.

Perhaps Druid could give some examples of inconclusive proofs then. I still don't know what one is.

John