wedrifid comments on Ambient control of the arithmetical hierarchy?