diff --git a/collects/deinprogramm/DMdA-advanced.rkt b/collects/deinprogramm/DMdA-advanced.rkt
index 272321cf8c..f09d5055db 100644
--- a/collects/deinprogramm/DMdA-advanced.rkt
+++ b/collects/deinprogramm/DMdA-advanced.rkt
@@ -12,7 +12,7 @@
 	 check-expect check-within check-error check-member-of check-range
 	 check-property for-all ==> expect expect-within expect-member-of expect-range
 	 signature contract : define-contract -> mixed one-of predicate combined list-of
-	 number real rational integer natural boolean true false string symbol empty-list unspecific property)
+	 number real rational integer natural boolean true false string symbol empty-list unspecific any property)
 (provide cons)
 (provide-and-document
  procedures
diff --git a/collects/deinprogramm/DMdA-assignments.rkt b/collects/deinprogramm/DMdA-assignments.rkt
index 77f4252f32..2227cce15b 100644
--- a/collects/deinprogramm/DMdA-assignments.rkt
+++ b/collects/deinprogramm/DMdA-assignments.rkt
@@ -12,7 +12,7 @@
 	 check-expect check-within check-error check-member-of check-range
 	 check-property for-all ==> expect expect-within expect-member-of expect-range
 	 signature contract : define-contract -> mixed one-of predicate combined list-of
-	 number real rational integer natural boolean true false string empty-list unspecific property)
+	 number real rational integer natural boolean true false string empty-list unspecific any property)
 (provide cons)
 (provide-and-document
  procedures
diff --git a/collects/deinprogramm/DMdA-beginner.rkt b/collects/deinprogramm/DMdA-beginner.rkt
index ec9c6c9dbc..60bebc8ada 100644
--- a/collects/deinprogramm/DMdA-beginner.rkt
+++ b/collects/deinprogramm/DMdA-beginner.rkt
@@ -8,7 +8,7 @@
 	 check-expect check-within check-error check-member-of check-range
 	 check-property for-all ==> expect expect-within expect-member-of expect-range
 	 signature contract : define-contract -> mixed one-of predicate combined
-	 number real rational integer natural boolean true false string empty-list property)
+	 number real rational integer natural boolean true false string empty-list any property)
 (provide cons list)
 (provide-and-document
  procedures
diff --git a/collects/deinprogramm/DMdA-vanilla.rkt b/collects/deinprogramm/DMdA-vanilla.rkt
index ef005100f4..ed58abfc3e 100644
--- a/collects/deinprogramm/DMdA-vanilla.rkt
+++ b/collects/deinprogramm/DMdA-vanilla.rkt
@@ -8,7 +8,7 @@
 	 check-expect check-within check-error check-member-of check-range
 	 check-property for-all ==> expect expect-within expect-member-of expect-range
 	 signature contract : define-contract -> mixed one-of predicate combined list-of
-	 number real rational integer natural boolean true false string empty-list property)
+	 number real rational integer natural boolean true false string empty-list any property)
 (provide cons)
 (provide-and-document
  procedures
diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt
index 404be2da2e..55d0a26762 100644
--- a/collects/deinprogramm/DMdA.rkt
+++ b/collects/deinprogramm/DMdA.rkt
@@ -38,6 +38,7 @@
 	 string symbol
 	 empty-list
 	 unspecific
+	 any
 	 property)
 
 (define-syntax provide/rename
@@ -909,6 +910,7 @@
 (define empty-list (signature (one-of empty)))
 
 (define unspecific (signature (predicate (lambda (_) #t))))
+(define any (signature (predicate (lambda (_) #t))))
 
 ;; aus collects/lang/private/teach.ss