tour_09: HunOL vs. trex6.