[pjdorrell]

If your theorem provers never prove a contradiction, they are all too weak.