logic_tests.pdf