tour_11: HunOL vs. J.