theorem test_failure : 1 = 1

theorem test_success_1 : 1 = 1

theorem test_success_2 : 1 = 1

theorem test_success_3 : 1 = 1

theorem test_ignore_other_categories : 1 = 1