Edits to minimization protocol.