tour_08: HunOL vs. redgremlin.