From 65066c493e6bc4b2d7876e6144c59ecdab8d7774 Mon Sep 17 00:00:00 2001
From: Ellen Arvidsson <ellen@log-e.se>
Date: Fri, 27 Jun 2025 02:45:56 +0200
Subject: [PATCH] typo

---
 docs/about/formalities.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/about/formalities.md b/docs/about/formalities.md
index b2b01f1..57871b4 100644
--- a/docs/about/formalities.md
+++ b/docs/about/formalities.md
@@ -116,7 +116,7 @@ n fresh
 
 // 1 + n! premises
 // trace pairs: i ∈ [1..(n! + 1)], premise[i] -- conclusion
-c, γ*  ⊢ a_1, ..., a_n
+c, γ*  ⊢ a_1, ..., a_n, δ*
 ∀ I ⊆ {1, ..., n}.
 	c, γ* ⊢ { a_i | i ∈ I }, δ*
 	OR