diff --git a/phino.cabal b/phino.cabal
--- a/phino.cabal
+++ b/phino.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: phino
-version: 0.0.97
+version: 0.0.98
 license: MIT
 synopsis: Command-Line Manipulator of 𝜑-Calculus Expressions
 description: Please see the README on GitHub at <https://github.com/objectionary/phino#readme>
diff --git a/resources/normalize/overa.yaml b/resources/normalize/overa.yaml
new file mode 100644
--- /dev/null
+++ b/resources/normalize/overa.yaml
@@ -0,0 +1,15 @@
+# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+name: overa
+pattern: ⟦𝐵1, 𝜏 ↦ 𝑒1, 𝐵2⟧(α𝑖 ↦ 𝑒2)
+result: ⊥
+when:
+  and:
+    - eq:
+        - 𝑖
+        - domain: 𝐵1
+    - not:
+        eq:
+          - 𝜏
+          - ρ
diff --git a/test/CLISpec.hs b/test/CLISpec.hs
--- a/test/CLISpec.hs
+++ b/test/CLISpec.hs
@@ -1028,6 +1028,11 @@
             , "  { T }"
             , "  { \\tau \\not= \\phiTerminal{\\rho} }"
             , "  { }"
+            , "\\phinoNormalizationRule{overa}"
+            , "  { [[ B_1, \\tau -> e_1, B_2 ]] ( \\phiTerminal{\\alpha_{i}} -> e_2 ) }"
+            , "  { T }"
+            , "  { i = \\vert \\overline{ B_1 } \\vert \\;\\text{and}\\; \\tau \\not= \\phiTerminal{\\rho} }"
+            , "  { }"
             , "\\phinoNormalizationRule[\\phi]{phi}"
             , "  { [[ B ]] . \\tau }"
             , "  { [[ B ]] . @ . \\tau }"