\frametitle{Miniscript}
\texttt{2 pk1 pk2 pk3 3 CHECKMULTISIG\\
IFDUP NOTIF\\
~~~~pk\_emergency CHECKSIGVERIFY\\
~~~~1000 CSV\\
ENDIF\\
}
\texttt{or\_casc(\\
~~~~multi(2,pk1,pk2,pk3),\\
~~~~and\_cat(\\
~~~~~~~~pk\_v(pk\_emergency),\\
~~~~~~~~time(1000)\\
~~~~)\\
)\\
}