Tour 11: HunOL vs. aptyp.