From 55ea9c739c8e42df0caf8a3394add7bd7931a189 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 7 May 2026 17:27:17 +0100
Subject: remove stray sentence

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 130bfc1..6439c87 100644
--- a/README.md
+++ b/README.md
@@ -86,7 +86,6 @@ For each `B ∈ { Nat, Int, Float, Str }`:
 - **η.** `I=for (x: X). I(x)` when x is not free in I.
 
 #### Instances via case analysis
-A construction admitting an instance of any signature, given an element of a variant set and a branch for every tag.
 - **Intro.** `C ⊢ case m of [ v0. x0 => I0 | ... | vn. xn => In ] :: S` when `C ⊢ S signature`, `C ⊢ m : variant [ v0. : X0 | ... | vn. : Xn ]`, and, for each `i`, `C, xi : Xi ⊢ Ii :: S`.
 - **β.** `case vi. m of [ ... | vi. xi => Ii | ... ]=Ii[m/xi]`.
 
-- 
cgit v1.3.1