Tester for Logic