tour_10: aptyp vs. HunOL.