Proof There Should Be a Test