Feferman argued that Kreisel's autonomy condition is epistemically circular: recognizing a progressi...