ProofHello test case