From 2f7ac38cca2ebab41b8adb76b69e0949eeae488d Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Tue, 13 Jun 2023 01:59:43 -0700
Subject: fixed bugs, just_is_sound works for conjunct intro

---
 testfile2 | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 testfile2

(limited to 'testfile2')

diff --git a/testfile2 b/testfile2
new file mode 100644
index 0000000..c66aa88
--- /dev/null
+++ b/testfile2
@@ -0,0 +1,3 @@
+P^Q | pr
+L^V | pr
+(P^Q)^(L^V) | ^i 1, 2
-- 
cgit v1.3.1