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