# CTV+CSFS: Can we reach consensus on a first step towards covenants? **URL:** \ **Category:** Protocol Design\ **Tags:** softfork, covenants, introspection\ **Created:** [March 10, 2025, 10:35pm UTC](https://delvingbitcoin.org/t/ctv-csfs-can-we-reach-consensus-on-a-first-step-towards-covenants/1509 "2025-03-10T22:35:25Z")\ **Posts on this page:** 1\ **Showing post:** 60
**Author:** ![securitybrahh](https://delvingbitcoin.org/user_avatar/delvingbitcoin.org/securitybrahh/32/2015_2.png) [@securitybrahh](https://delvingbitcoin.org/u/securitybrahh)\ **Post date:** [May 1, 2025, 4:58am UTC](https://delvingbitcoin.org/t/ctv-csfs-can-we-reach-consensus-on-a-first-step-towards-covenants/1509/60 "2025-05-01T04:58:38Z")
(sorry for being a noob and lazy but) can someone give me tldr on why we stacking ctv and csfs, and not cat and csfs. CAT gives more room for spam? also ofc ctv is most historically not merged tested opcode and appearantly CAT was switched off by Satoshi himself (or so I have heard on the streets) hope CTV doesn’t activate some non-desirables. P.S. I hate ossification. ![1000015680](https://delvingbitcoin.org/uploads/default/original/2X/3/34d1fdd33e9140d3e75cfbbf8893a9f6af9ccf20.jpeg) > **[Gödel's incompleteness theorems](https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems)** > > This is an accepted version of this page Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. > The fi... --- _[View the full topic](https://delvingbitcoin.org/t/ctv-csfs-can-we-reach-consensus-on-a-first-step-towards-covenants/1509)._