--- Log opened Sun Aug 15 00:00:40 2021 06:28 -!- MatrixBot1234516 [~matrixbot@51.15.54.153] has joined ##miniscript 07:38 < darosior> sanket1729: FWIW i spotted my error. It's right that `X` in `and_v(X, Y)` is always `f` but it doesn't matter as `dsat(X)` isn't involved in `dsat(and_v)` (which is `dsat(Y) sat(X)`). This also explains the need for X to be `s` for `dsat(and_v)` to be `f`. Thanks for bearing with my questions! 21:42 -!- Netsplit *.net <-> *.split quits: achow101, sanket1729 21:43 -!- Netsplit over, joins: achow101, sanket1729 21:44 -!- Netsplit *.net <-> *.split quits: meshcollider 21:45 -!- Netsplit over, joins: meshcollider 21:46 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has quit [Ping timeout: 252 seconds] 21:48 -!- Netsplit *.net <-> *.split quits: hugohn, MatrixBot1234516 21:48 -!- Netsplit over, joins: MatrixBot1234516, hugohn 21:50 -!- Netsplit *.net <-> *.split quits: fjahr, @sipa 21:50 -!- Netsplit over, joins: fjahr, @sipa 21:52 -!- Netsplit *.net <-> *.split quits: sandipndev 21:52 -!- sandipndev [~sandipnde@shindig.notmandatory.org] has joined ##miniscript 21:54 -!- Netsplit *.net <-> *.split quits: blkncd, _0x0ff 21:54 -!- _0x0ff [~0x0ff@163.172.166.225] has joined ##miniscript 21:54 -!- blkncd [sid505676@2001:67c:2f08:5::7:b74c] has joined ##miniscript 21:55 -!- _0x0ff [~0x0ff@163.172.166.225] has quit [Changing host] 21:55 -!- _0x0ff [~0x0ff@user/0x0ff/x-0302470] has joined ##miniscript 23:05 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined ##miniscript --- Log closed Mon Aug 16 00:00:40 2021