tour_02: HunOL vs. J.