. . . "Progress-preserving Refinements of CTA (Other)"^^ . . . . . .