cousin_it comments on Ambient control of the arithmetical hierarchy?