shminux comments on Ambient control of the arithmetical hierarchy?