diff --git a/base/ape/talk.hoon b/base/ape/talk.hoon index af03431f66..60e8764717 100644 --- a/base/ape/talk.hoon +++ b/base/ape/talk.hoon @@ -918,7 +918,11 @@ ?~ q.yop ~ ?~(t.q.yop `i.q.yop `[%mor (flop `(list sole-effect)`q.yop)]) == - ?~(foc moz [[ost %diff %sole-effect u.foc] moz]) + ?~ foc + moz + ~& [%ra-abed-fx-mug `@p`(mug u.foc)] + ~& [%ra-abed-fx u.foc] + [[ost %diff %sole-effect u.foc] moz]) :: ++ ra-abet :: complete core ra-abed:ra-axel diff --git a/base/lib/drum.hoon b/base/lib/drum.hoon index 74a57d8ba7..763dd2becb 100644 --- a/base/lib/drum.hoon +++ b/base/lib/drum.hoon @@ -179,6 +179,7 @@ ++ diff-sole-effect-phat :: |= [way=wire fec=sole-effect] =< se-abet =< se-view + ~& [%diff-effect `@p`(mug fec)] =+ gyl=(drum-phat way) ?: (se-aint gyl) +>.$ (se-diff gyl fec)