tour4: HunOL vs. J