Artifacts of gazelle-tm-war #18