diff --git a/tests/test06.8pus b/tests/test06.8pus
index 58d5463..b391ab9 100644
--- a/tests/test06.8pus
+++ b/tests/test06.8pus
@@ -1 +1,11 @@
 (A -> B -> C) -> (A -> B) -> A -> C
+intro f.
+intro g.
+intro a.
+cut B -> C.
+intro h.
+apply h.
+apply g.
+assumption.
+apply f.
+assumption.