diff --git a/fjs/types/btree/remove/module.f.mjs b/fjs/types/btree/remove/module.f.mjs
index a2d8671ef..7ef7d1a28 100644
--- a/fjs/types/btree/remove/module.f.mjs
+++ b/fjs/types/btree/remove/module.f.mjs
@@ -181,6 +181,9 @@ export const proof = {
         reduceValue2DefaultBranch: () => {
             reduceValue2([['leaf']])([['x'], 's', ['y']])
         },
+        initValue0DefaultBranch: () => {
+            initValue0(null)([['x'], 's', [['a'], 'b', ['c']]])
+        },
         initValue1DefaultBranch: () => {
             initValue1(null)([[['a'], 'b', ['c']], 'd', ['e']])
         },