ProofThing test case