--- Log opened Thu Aug 12 00:00:36 2021
04:24 < darosior> Why is an 'and_v' node 'f' (only) if 'x' is 's'? Since 'x' must be 'V' already, 'f' is always true?
05:52 <@sipa> it's possible there are redundant rules like that
16:55 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has quit [Ping timeout: 272 seconds]
18:23 < sanket1729> darosior: x being s is important because that means you cannot forge satisfaction. 
18:23 < sanket1729> consider `and_v(v:after(9),pk(C))`
18:24 < sanket1729> this has an dissatisfaction because `X` fragment can be satisfied by anyone
18:58 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined ##miniscript
--- Log closed Fri Aug 13 00:00:37 2021