Operationen är den följande: