tour_09: aptyp vs. HunOL.