Add the `diff' operation.