The Reiteration operation allows one to reproduce an earlier step in a proof, usually for the purposes of clarity.