test_logic