diff --git a/tests/test05.8pus b/tests/test05.8pus
index 2ca7773..f7b0dd9 100644
--- a/tests/test05.8pus
+++ b/tests/test05.8pus
@@ -1 +1,5 @@
 ((A -> A) -> B) -> B
+intro f.
+apply f.
+intro x.
+assumption.
diff --git a/tests/test07.8pus b/tests/test07.8pus
index 16c7cd4..0528db6 100644
--- a/tests/test07.8pus
+++ b/tests/test07.8pus
@@ -1 +1,5 @@
 A -> ~(~A)
+intro x.
+intro f.
+apply f.
+assumption.