I went on a journey to wrap my head around how something as simple sounding as
OP_CAT
can enabled covenants and more complicated offchain contracts. Like I mention in the post, Andrew Poelstra is definitely the guy to listen to for the clearest descriptions of this, but maybe your mind is wired like mine and this re-wording is helpful. Also happy to hear if I misinterpreted anything!