diff --git a/tests/test01.8pus b/tests/test01.8pus
new file mode 100644
index 0000000..ebd62d4
--- /dev/null
+++ b/tests/test01.8pus
@@ -0,0 +1,5 @@
+(A -> B -> C) -> (B -> A -> C)
+intro f.
+intro b.
+intro a.
+apply f.
diff --git a/tests/test04.8pus b/tests/test04.8pus
new file mode 100644
index 0000000..baac31d
--- /dev/null
+++ b/tests/test04.8pus
@@ -0,0 +1,7 @@
+(A -> B) -> (B -> C) -> A -> C
+intro f.
+intro g.
+intro a.
+apply g.
+apply f.
+assumption.
diff --git a/tests/test05.8pus b/tests/test05.8pus
new file mode 100644
index 0000000..2ca7773
--- /dev/null
+++ b/tests/test05.8pus
@@ -0,0 +1 @@
+((A -> A) -> B) -> B
diff --git a/tests/test06.8pus b/tests/test06.8pus
new file mode 100644
index 0000000..58d5463
--- /dev/null
+++ b/tests/test06.8pus
@@ -0,0 +1 @@
+(A -> B -> C) -> (A -> B) -> A -> C
diff --git a/tests/test07.8pus b/tests/test07.8pus
new file mode 100644
index 0000000..16c7cd4
--- /dev/null
+++ b/tests/test07.8pus
@@ -0,0 +1 @@
+A -> ~(~A)
diff --git a/tests/test08.8pus b/tests/test08.8pus
new file mode 100644
index 0000000..f253a43
--- /dev/null
+++ b/tests/test08.8pus
@@ -0,0 +1 @@
+(A -> B) -> ~B -> ~A