Calyse carried out a sale and leaseback of a store that qualified as a sale; part of the leaseback payments varies with the store's revenue. A year later, revenue falls and the controller proposes to reduce the lease liability for the now lower variable portion, recognising a gain in profit or loss on the right of use retained. Part of the store is also subject to a partial termination negotiated with the lessor. Which analysis complies with IFRS 16?