tour_05: HunOL vs. uroboros.