tour_12: HunOL vs. Adem.