Want to check a merkle inclusion proof *in* your script? Need CAT. Want to check that your script itself was included in the address commitment? Thats taproot
Discussion
I'll have to poke around Inquisition scripts. I think my mental model for Taproot was checking in script for merkle inclusion. Need to separate thid nuance in my head.