Proof In Testing