Fix for code updated in fd4c62c.
Provide more feedback when proofs fail.
Change src/bool to src/1 as a prelude to experimentation!