Artifacts of gazelle-tm-war #15