From 86702b832a2a1487bf9f5ab975ec58bbc5a7d3ea Mon Sep 17 00:00:00 2001
From: Jacob Walchuk <walchuk2018@icloud.com>
Date: Mon, 30 Jun 2025 22:53:48 +0100
Subject: Added placeholder for tableaux

---
 papers/2.tex | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'papers/2.tex')

diff --git a/papers/2.tex b/papers/2.tex
index 37d36e7..82a2c67 100644
--- a/papers/2.tex
+++ b/papers/2.tex
@@ -874,6 +874,9 @@ instance of conjunction introduction:
 
 %Saul and Jan are tall
 
+\begin{center}
+  \texttt{[TABLEAUX FORTHCOMING]}
+\end{center}
 However, if the extension of the vague predicate \emph{tall} is
 unstable, we can easily imagine a situation in which both premises are
 individually true, yet the conclusion turns out false. This would happen
-- 
cgit v1.2.3

