Is Burn? (Yes / No)

Was this a burn of tokens? Note that in some situations, a “burn” is a redemption of tokens related to an off-chain transaction (e.g. a “burn” for USDT is a redemption, purportedly against a withdrawal of fiat currency, and not a software-driven “burn” of USDT tokens).