test_theory