1 files changed, 3 insertions, 3 deletions

diff --git a/testfile2 b/testfile2
index c66aa88..7c3764f 100644
--- a/testfile2
+++ b/testfile2
@@ -1,3 +1,3 @@
-P^Q | pr
-L^V | pr
-(P^Q)^(L^V) | ^i 1, 2
+P | pr
+Q | pr
+P->Q | ->I 2, 1