diff --git a/.travis/pin-parent-pill-pier.url b/.travis/pin-parent-pill-pier.url
index 78c6197285..2b75a267c0 100644
--- a/.travis/pin-parent-pill-pier.url
+++ b/.travis/pin-parent-pill-pier.url
@@ -1 +1 @@
-https://ci-piers.urbit.org/zod-0cbd5e54e979046dc64910eed6d72de91bddd5fd.tgz
+https://ci-piers.urbit.org/zod-4693f111ff491a0a214a9a3bcf63af9c7c804bc7.tgz
diff --git a/.travis/pin-vere-commit.txt b/.travis/pin-vere-commit.txt
index 3d8518186f..bb46ab96e4 100644
--- a/.travis/pin-vere-commit.txt
+++ b/.travis/pin-vere-commit.txt
@@ -1 +1 @@
-f64b5c8f801d4ef64c1c9e0a2e4ceefe159bf9e7
\ No newline at end of file
+c3ca5c24b6b346b0d00695217c16f4d224e17653
\ No newline at end of file
diff --git a/sys/hoon.hoon b/sys/hoon.hoon
index 57fd7714f5..6bb74152b3 100644
--- a/sys/hoon.hoon
+++ b/sys/hoon.hoon
@@ -10152,7 +10152,7 @@
     ::
         {$dtkt *}
       =+  nef=$(gen [%kttr p.gen])
-      [p.nef [%14 [%1 %151 p.nef] q:$(gen q.gen, gol %noun)]]
+      [p.nef [%12 [%1 %151 p.nef] q:$(gen q.gen, gol %noun)]]
     ::
         {$dtls *}  [(nice [%atom %$ ~]) [%4 q:$(gen p.gen, gol [%atom %$ ~])]]
         {$sand *}  [(nice (play gen)) [%1 q.gen]]
@@ -10187,7 +10187,7 @@
       :: ?:  &(huz !?=(%|(@ [?(%sgcn %sgls) ^]) p.gen))
       ::  hum
       :-  p.hum
-      :+  %13
+      :+  %11
         ?-    p.gen
             @   p.gen
             ^   [p.p.gen q:$(gen q.p.gen, gol %noun)]
@@ -10238,7 +10238,7 @@
         {$dbug *}
       ~_  (show %o p.gen)
       =+  hum=$(gen q.gen)
-      [p.hum [%13 [%spot %1 p.gen] q.hum]]
+      [p.hum [%11 [%spot %1 p.gen] q.hum]]
     ::
         {$zpcm *}   [(nice (play p.gen)) [%1 q.gen]]   ::  XX validate!
         {$lost *}