INCOMPLETE: Adding reset operation.