Have to check the result of 𝔽⁼, not just apply it, to validate 𝔽⁼⁼ result

1 files changed, 1 insertions, 1 deletions

diff --git a/spec/inferred.md b/spec/inferred.md
index 76837d5b..3cab7270 100644
--- a/spec/inferred.md
+++ b/spec/inferred.md
@@ -94,7 +94,7 @@ Inverses of other modifiers and derived functions or modifiers obtained from the
 | `F G`   |                      |
 | `·F G`  |                      |
 | `○`     | `{𝔾⁼(𝔾𝕨)𝔽⁼𝕩}`        |
-| `⁼`     | `{𝔽⁼⊸⊢∘𝔽}`           |
+| `⁼`     | `{r←𝔽𝕩⋄!𝕩≡𝔽⁼r⋄r}`    |
 | `⌾`     | `{𝔽⁼⌾𝔾}`             | Verify result for computational Under
 | `⍟n`    | `⍟(-n)`              | Atomic number n
 | `⊘`     | `{(𝔽⁼)⊘(𝔾⁼)}`        |