1 files changed, 2 insertions, 8 deletions

diff --git a/dzref b/dzref
index c4c56596..5edc7035 100755
--- a/dzref
+++ b/dzref
@@ -24,12 +24,7 @@ _depthOp_←{
   }
   𝕨 n _d 𝕩
 }
-_insert←{
-  ! 1≤=𝕩
-  𝕨 𝔽´ <˘𝕩
-}
 ⚇ ← _depthOp_
-˝ ← _insert
 
 
 #⌜
@@ -152,8 +147,8 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
 X←Raw←{≤4}
 {
   chrs←⟨
-    "!=∾↕⌽⍉⍋⍒⊐⊒∊⍷"
-    "˝"
+    "!∾↕⌽⍉⍋⍒⊐⊒∊⍷"
+    ""
     "⚇"
   ⟩
   nc ← ≠¨chrs
@@ -181,7 +176,6 @@ X←Raw←{≤4}
   ⍎"Type    ← ⟨⟩⥊0⊸⥊"
 
   '!' Mod "{𝕩 ⋄ ≤1}⍟¬"
-  '=' Mod "≠∘≢ ⊘ ="
   Mod⟜⥊¨ "↕∾⌽⊐⍋⍒"