tour_01: HunOL vs. Magian.