diff --git a/examples/tests.modal b/examples/tests.modal
index a642d9f..7351dbe 100644
--- a/examples/tests.modal
+++ b/examples/tests.modal
@@ -86,6 +86,15 @@ abc ?(?x) def = abc (lambda 2) test
 
 reverse (modal) = ladom (reverse 1) test
 
+?(?-) (Incomplete definitions)
+
+<> (incomplete-basic)
+<> (incomplete-reg ?x)
+<> (waste-rule) *
+
+(incomplete-basic) = () (incomplete 1) test
+(incomplete-reg abcdef) = () (incomplete 2) test
+
 ?(?-) (Inline rules)
 
 <> ((?x -> ?y)) (<> ?x ?y)