1 files changed, 5 insertions, 3 deletions

diff --git a/testfile2 b/testfile2
index 7c3764f..dbdaa34 100644
--- a/testfile2
+++ b/testfile2
@@ -1,3 +1,5 @@
-P | pr
-Q | pr
-P->Q | ->I 2, 1
+A | pr
+C | pr
+	B | as
+	C ^ B | ^i 2, 3
+B->C^B | ->i 3, 4