--- Log opened Sun Aug 01 00:00:25 2021 13:11 < darosior> Doesn't "e" imply "m"? 13:26 <@sipa> e doesn't say anything about satisfactions, only dissatisfactions 13:29 < sanket1729> Consider or_d(ltv:after(9),ltv:after(9)) . I think this is a `e`, but not `m`. 13:30 < sanket1729> I think what you _might_ be true, if all fragments are safe. But not 100% sure 16:03 -!- meshcollider [meshcollid@meshcollider.jujube.ircnow.org] has quit [Remote host closed the connection] 16:25 -!- meshcollider [meshcollid@jujube.ircnow.org] has joined ##miniscript --- Log closed Mon Aug 02 00:00:27 2021