Definition of RecordingIteration