$$x'^2 \mathsf{ACA}_0'$$