diff --git a/tests/test01.8pus b/tests/test01.8pus
index 7a7c870..dedb199 100644
--- a/tests/test01.8pus
+++ b/tests/test01.8pus
@@ -2,4 +2,9 @@
 intro f.
 intro b.
 intro a.
-cut B -> C
+cut B -> C.
+intro g.
+apply g.
+assumption.
+apply f.
+assumption.