I got to see the same demo that #[3]​ is talking about here and was equally blown away. This way of thinking about bitcoin changes everything. Proud of #[4]​ for all of his breakthrough work on miniscript.