proof tester